Linear time-invariant system theory